A sufficiency theorem for differential systems
نویسندگان
چکیده
منابع مشابه
Sufficiency in Blackwell's theorem
If one information service is more informative than the other, then any agent values it more. In fact, the opposite implication (sufficiency) is also true, and this characterization is the celebrated Blackwell’s theorem. We present here a short proof of sufficiency. Actually, we show a stronger result: it is enough to check whether the value of the service is greater than the value of the other...
متن کاملA Zero Structure Theorem for Differential Parametric Systems
We present a zero structure theorem for a differential parametric system: p1 = 0, · · · , pr = 0, d1 6= 0, · · · , ds 6= 0 where pi and di are differential polynomials in K{u1, · · · , um, x1, · · · , xn} and the u are parameters. According to this theorem we can identify all parametric values for which the parametric system has solutions for the xi and at the same time giving the solutions for...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
Sufficiency Conditions for Finite Escape Times in Systems of Quadratic Differential Equations
Sufficient conditions are derived for solutions of a general autonomous system of quad-ratic ordinary vector differential equations to exhibit finite escape times. These results are extended to a matrix Riccati-type differential equation using Kronecker matrix products and a "stacking operator". Finally, these results are applied to a class of models used extensively in population dynamics.
متن کاملDifferential dynamic logics - automated theorem proving for hybrid systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1946
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1946-08594-8